(sys_read): Introduce a small delay before reading from

a pipe or socket to allow more data to be buffered; otherwise,
process output is read one byte at a time on fast machines
(which is slow).

diff --git a/src/w32.c b/src/w32.c
index bf9f858b700eb20dc108d9b71cfe90e1c23881b6..fd1d5e1050813ac0a24daf40c0e7cc7e3585c7d2 100644 (file)
--- a/src/w32.c
+++ b/src/w32.c
@@ -1851,6 +1851,8 @@ sys_read (int fd, char * buffer, unsigned int count)
              ResetEvent (cp->char_avail);
 
            case STATUS_READ_ACKNOWLEDGED:
+             /* Give process time to buffer some more output for us */
+             Sleep (50);
              break;
 
            default: